$\forall$$T$:Type, $P$:($T$$\rightarrow$Prop), $R$:($T$$\rightarrow$$T$$\rightarrow$$T$$\rightarrow$Prop). (ternary) $R$ preserves $P$  $\in$ Prop